finite state system中文什么意思

下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯

a verification method for finite states systems based on temporal logic
一種基于時(shí)態(tài)邏輯的有限狀態(tài)系統(tǒng)驗(yàn)證方法
abstract model checking is an important method of verifying logic properties of finite state systems, and also a supplement to the shortage of software testing
摘要模型檢測(cè)是一種對(duì)有限狀態(tài)變遷系統(tǒng)驗(yàn)證其時(shí)態(tài)邏輯性質(zhì)的重要方法，可以彌補(bǔ)測(cè)試技術(shù)的不足。
statechart is used to model a complex software system and it adds communication and inherit mechanism based on finite state system . many tools such as unified model language which is used in software analysis and design have accepted this concept . using statechart to model a system may avoid state explosion problem during software analysis and design process, but when it goes to test a system, the problem still exists
狀態(tài)圖是在為一個(gè)復(fù)雜反應(yīng)系統(tǒng)的控制需求建模時(shí)提出的，harel在狀態(tài)機(jī)的基礎(chǔ)上，增加了通信、并發(fā)和嵌套機(jī)制，提出了適合于描述復(fù)雜系統(tǒng)的狀態(tài)圖，很多面向?qū)ο蟮姆治鲈O(shè)計(jì)工具都采用了狀態(tài)圖的概念，例如統(tǒng)一建模語(yǔ)言(uml)。

√在线天堂中文最新版网,97se亚洲综合色区,国产成人av免费网址,国产成人av在线影院无毒,成人做爰100部片